تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۶,۰۰ ثانیه یافت شد.

1. Applied proof theory: proof interpretations and their use in mathematics

پدیدآورنده : Kohlenbach, U. )Ulrich(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving

رده :

QA

9

.

54

.

K64

2008

2. Logic, language, information, and computation :

پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses

رده :

QA9

.

A1

W67

2013

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها